]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6d35fd) | patch
docs: Use mutter.gnome.org URL for API docs
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 16 Jan 2024 18:39:18 +0000 (19:39 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Sat, 27 Jan 2024 21:22:11 +0000 (22:22 +0100)
commit0b1dab120f0bfe8a6beadca5e81bb412b8567ed4
treecfeb321e3b0d82fe6f8bd07cab1a3756eaa352e2tree | snapshot
parenta6d35fdd2abd63d23c7a9d093645f760691539a0commit | diff
docs: Use mutter.gnome.org URL for API docs

Mutter has a new public website, so use that for its API docs
instead of gitlab pages.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3122>
docs/reference/shell/shell.toml.in diff | blob | history
docs/reference/shell/urlmap.js diff | blob | history
docs/reference/st/st.toml.in diff | blob | history
docs/reference/st/urlmap.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.